$\forall$$T$:Type, ${\it pl}$, ${\it tm}$:($T$$\rightarrow$$T$$\rightarrow$$T$). BiLinear($T$;${\it pl}$;${\it tm}$) $\in$ $\mathbb{P}$